$\forall$$a$:$\mathbb{Z}$, $n$:$\mathbb{Z}^{-\circ}$. $a$ = (($a$ $\div$ $n$) $\ast$ $n$)+($a$ rem $n$)